“귀납적 가산 집합”으로 총 1건 검색

• 귀납적 가산 집합, 歸納的可算集合, recursively enumerable set

  그 집합에 속하는 요소(기호열)를 수리(受理)하는 튜링 기계가 존재할 수 있는 집합. 즉, 그 집합에 속하는 입력 기호열에 대해서는 반드시 정지(停止)하나, 그 집합에 속하지 않는 입력 기호열에 대해서는 반드시 정지한다고 할 수 없는 튜링 기계로 수리되는 기호열의 집합이다.